Nederlands jacquardweverij (de) Frans tissage jacquard:l'atelier de tissage jacquard (le) Duits Jacquardweberei (die) Engels Jacquard weaving mill